Penetrating an Operating System: A Study of VM/370 Integrity

There is a large body of literature relating to computing system security that includes such issues as statements of problems and requirements for secure systems,'-' research in the design of secure computing efforts to develop techniques for verifying the correctness (and hence impenetrability) of prog r a m ~ , ~ and reports of organized efforts to determine the penetrability of various operating The literature on perating system penetration is rather sparse because most of the work has been done under classified auspices". Although the general references given here are a small representative portion of the existing literature, more extensive bibliographies are cited in References 13 and 14.